The SDL Speci cation of the Sliding Window Protocol Revisited
نویسندگان
چکیده
This paper is a corrigendum to the SDL speci cation of the sliding window protocol which was rst published by the ISO IEC as a technical report We present some results of a tool supported simulation of the SDL speci cation of the sliding window protocol We found out that the speci cation contains signi cant errors and does not meet the informal description of the protocol In this paper we describe these errors and give a correct version of the SDL speci cation
منابع مشابه
The SDL specification of the sliding window protocol revisited
We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol We chose the SDL speci cation of the protocol which was rst published by the ISO While editing and simulating the SDL speci cation we found out that the speci cation contains signi cant errors and does not meet the informal description of the protocol We describe these e...
متن کاملVeri cation of SDL Speci cations on the Basis of Stream Semantics
This paper presents a new approach to the formal veri cation of SDL speci cations SDL is given de notational semantics based on the concepts of streams and stream processing functions in the formal framework of Focus The formalization of SDL revealed some aspects of SDL which are handled un precisely in the Z e g the concept of time and gives a solution to them The formal semantics is the start...
متن کاملTransforming SDL Diagrams into a Complete Visual Representation
| We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the speci cation by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an exampl...
متن کاملA framework for modeling transfer protocols
The notion of speci®cation frameworks transposes the framework approach from software development to the level of formal modeling and analysis. A speci®cation framework is devoted to a special application domain. It supplies reusable speci®cation modules and guides the construction of speci®cations. Moreover, it provides theorems to be used as building blocks of veri®cations. By means of a suit...
متن کاملVeri cation Experiments on the MASCARA Protocol?
In this paper, we describe an experiment in verifying a real industrial protocol for wireless atm, called mascara. Several tools have been used: sdl has been chosen as the speci cation language and the commercial tool Objectgeode (Telelogic) has been used for creating, maintaining and modifying sdl descriptions. The if tool-set has been used for minimization and comparison of system models and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996